.jstree-default .jstree-node {
    font-size: 20px;
    line-height: 30px;
}

.jstree-default .jstree-anchor {
    height: 30px;
    line-height: 30px;
}

#patch_html fieldset legend {
    font-size: 24px;
}
